define fact 
proc(g)
  i := g;
  r := 1;
  while i do r := r * i;  i := i-1 od;
  return := r
end;
define main
proc(l)
  g := 5;
  s := fact(g)
end